ゆる圏 Youtube
https://www.youtube.com/watch?v=aK7ok-bNUww
圏論学習動画
『ベーシック圏論 普遍性からの速習コース』をテキストにして毎回読んでいく
ベーシック圏論 - 丸善出版 理工・医学・人文社会科学の専門書出版社
製作者は松森至宏 (@yoshi_matsumori) / Twitterさん
松森至宏
サムネイルのデザインはSpringer/丸善の数学書によくあるもの
業界人はちょっとニヤリとする
サムネでゆるくねーじゃんとツッコミSummer498.icon基素.icon
cf. 証明は読者に任せる
第一回
定義 1.1.1抜粋
圏とは
「対象」「射」「合成」「恒等射」
からなり、
「結合法則」「単位法則」（＋α）
をみたすものである。
プラスαは松森さん自身が気になっている例
圏の例
ひらがな圏
$ りんぐ\circまつもり
圏の定義
その前にインフォーマルな定義（p.89 命題3.2.4の後）
定義1.1.1
圏の構成要素
対象
射
合成
恒等射
が
結合法則
単位法則
＋α
注意1.1.2
を満たすとき、圏である